%{
#include <stdio.h>
#include <stdlib.h>
void func_1();
void func_2();
void func_3();
void func_5();
double number;
int intNumber[100];
int sum=0;
int unique=0;
%}

%%
^([0-9]{9})    				{	func_1();				}
"NAME"$						{	func_2();				}
([0-9]+\.[0-9]+)|([0-9]+)	{	func_3();				}
[\x21-\x2f\x3a-\x7f]+       {	func_5();				}
%%
void func_1()
{
	printf("201492338");
}
void func_2()
{
	printf("zxb");
}
void func_3()
{
	number=atof(yytext);
	number=number*2+201492338+0.5;
	int i;
	for(i=0;i<unique;i++)
	{
		if(number!=intNumber[i])break;
	}
	if(i==unique)
	{
		unique++;
	}
	sum++;
	printf("%lld",(long long int)number);
}
void func_5()
{
	printf("%s",yytext);
}
int main()
{
	yylex();
	printf("%d\t%\n",sum,unique);
	return 0;
}
int yywrap()
{
	return 1;
}
